inclusion functor

包含函子